Q: Is a logical consequence necessary and formal? ¶
A: Yes, and by way of examples that explain with formal proof and models of interpretation.
Q: Is a logical consequence considered to be independent of formality? ¶
A: Yes.
Q: Is a logical consequence to appeal to formality? ¶
A: Yes.
Q: Is a logical consequence not influenced by empirical knowledge? ¶
A: Yes.